Wil Dekkers : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (48)
Les plus populaires
Liste
- Liste
- Tableau

1

Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic

Dekkers, Wil, Bunder, Martin, Barendregt, Henk

Journal:

Journal of Symbolic Logic

Année:

1998

Langue:

english

Fichier:

PDF, 1.09 MB

english, 1998

2

Pure Type Systems with More Liberal Rules

Martin Bunder and Wil Dekkers

Journal:

Journal of Symbolic Logic

Année:

2001

Langue:

english

Fichier:

PDF, 425 KB

english, 2001

3

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus

Wil Dekkers, Martin Bunder, Henk Barendregt

Journal:

Archive for Mathematical Logic

Année:

1998

Langue:

english

Fichier:

PDF, 193 KB

english, 1998

4

Reducibility of types in typed lambda calculus: Comment on a paper by Richard Statman

Journal:

Information and Computation

Année:

1988

Langue:

english

Fichier:

PDF, 218 KB

english, 1988

5

Physiotherapy management of low back pain: Does practice match the Dutch guidelines?

Ilse C.S. Swinkels, Cornelia H.M. van den Ende, Wil van den Bosch, Joost Dekker, Raymond H. Wimmers

Journal:

Australian Journal of Physiotherapy

Année:

2005

Langue:

english

Fichier:

PDF, 80 KB

english, 2005

6

Lambda Calculus with Types || Intersection Types λS∩

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 90 KB

english, 2013

7

Lambda Calculus with Types || Basic Properties of Intersection Type Assignment

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 333 KB

english, 2013

8

WBC-reduced platelet concentrates from pooled buffy coats in additive solution: an evaluation of in vitro and in vivo measures

Pieter F. Van Der Meer, Ruby N.I. Pietersz, Margriet J. Tiekstra, Peter C. Huijgens, Wil J.A. Dekker, Henk W. Reesink

Journal:

Transfusion (Wiley)

Année:

2001

Langue:

english

Fichier:

PDF, 105 KB

english, 2001

9

Living Well with End Stage Renal Disease: Patients' Narratives Interpreted from a Virtue Perspective

Wim Dekkers, Inez Uerz, Jean-Pierre Wils

Journal:

Ethical Theory and Moral Practice

Année:

2005

Langue:

english

Fichier:

PDF, 861 KB

english, 2005

10

Bodily integrity and male and female circumcision

Wim Dekkers, Cor Hoffer, Jean-Pierre Wils

Journal:

Medicine, Health Care and Philosophy

Année:

2005

Langue:

english

Fichier:

PDF, 216 KB

english, 2005

11

Direct terrestrial–marine correlation demonstrates surprisingly late onset of the last interglacial in central Europe

Mark J. Sier, Wil Roebroeks, Corrie C. Bakels, Mark J. Dekkers, Enrico Brühl, Dimitri De Loecker, Sabine Gaudzinski-Windheuser, Norbert Hesse, Adam Jagich, Lutz Kindler, Wim J. Kuijper, Thomas Laurat,

Journal:

Quaternary Research

Année:

2011

Langue:

english

Fichier:

PDF, 1.90 MB

english, 2011

12

What factors explain the number of physical therapy treatment sessions in patients referred with low back pain; a multilevel analysis

Ilse CS Swinkels, Raymond H Wimmers, Peter P Groenewegen, Wil JH van den Bosch, Joost Dekker, Cornelia HM van den Ende

Journal:

BMC Health Services Research

Année:

2005

Langue:

english

Fichier:

PDF, 268 KB

english, 2005

13

Comparing patient characteristics and treatment processes in patients receiving physical therapy in the United States, Israel and the Netherlands: Cross sectional analyses of data from three clinical databases

Ilse CS Swinkels, Dennis L Hart, Daniel Deutscher, Wil JH van den Bosch, Joost Dekker, Dinny H de Bakker, Cornelia HM Van den Ende

Journal:

BMC Health Services Research

Année:

2008

Langue:

english

Fichier:

PDF, 283 KB

english, 2008

14

The Accurate Control of Ultrafiltration

J. Guus Flendrig, Wim M. Carpay, Wil T. Dekkers

Journal:

Artificial Organs

Année:

1978

Langue:

english

Fichier:

PDF, 347 KB

english, 1978

15

Multifinger photoplethysmography and digital blood pressure measurement in patients with Raynaud's phenomenon of the hand

Tordoir, John H.M., Haeck, Luc B., Winterkamp, Harry, Dekkers, Wil

Journal:

Journal of Vascular Surgery

Année:

1986

Langue:

english

Fichier:

PDF, 436 KB

english, 1986

16

Living Well with End Stage Renal Disease: Patients' Narratives Interpreted from a Virtue Perspective

Wim Dekkers, Inez Uerz and Jean-Pierre Wils

Journal:

Ethical Theory and Moral Practice

Année:

2005

Langue:

english

Fichier:

PDF, 2.48 MB

english, 2005

17

Is de "Missa in G" Van Willem De Fesch? Een reactie op Robert R. Tuslers 'A Misplaced Attribution. Willem de Fesch and the "Missa in G'"

Wil Dekker, Dick van Heuvel and Hilary Staples

Journal:

Tijdschrift van de Koninklijke Vereniging voor Nederlandse Muziekgeschiedenis

Année:

2006

Fichier:

PDF, 1.40 MB

2006

18

Phosphorus-31 NMR and mass spectrometry of atropinesterase and some serine proteases phosphorylated with a transition-state analog

Van der Drift, A. C. M., Beck, H. C., Dekker, W. H., Hulst, A. G., Wils, E. R. J.

Journal:

Année:

1985

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1985

19

Evidence for the Blake Event recorded at the Eemian archaeological site of Caours, France

Sier, Mark J., Parés, Josep M., Antoine, Pierre, Locht, Jean-Luc, Dekkers, Mark J., Limondin-Lozouet, Nicole, Roebroeks, Wil

Journal:

Quaternary International

Année:

2015

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2015

20

The Blake Event recorded near the Eemian type locality – A diachronic onset of the Eemian in Europe

Sier, Mark J., Peeters, Jan, Dekkers, Mark J., Parés, Josep M., Chang, Liao, Busschers, Freek S., Cohen, Kim M., Wallinga, Jakob, Bunnik, Frans P.M., Roebroeks, Wil

Journal:

Quaternary Geochronology

Année:

2015

Langue:

english

Fichier:

PDF, 4.27 MB

english, 2015

21

Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus

Henk Barendregt, Martin Bunder and Wil Dekkers

Journal:

Journal of Symbolic Logic

Année:

1993

Langue:

english

Fichier:

PDF, 1001 KB

english, 1993

22

Acetate versus Bicarbonate Hemodialysis in Critically Ill Patients

Leunissen, Karel M.L., Hoorntje, Steven J., Fiers, Harry A., Dekkers, Wil T., Mulder, Alfred W.

Journal:

Année:

1986

Fichier:

PDF, 1.15 MB

1986

23

Detection of amino acid substitutions in the GyrA protein of fluoroquinolone-resistant typhoidal Salmonella isolates using high-resolution mass spectrometry

Hassing, Robert-Jan, Goessens, Wil H., Zeneyedpour, Lona, Sultan, Sadaf, van Kampen, Jeroen J., Verbon, Annelies, van Genderen, Perry J., Hays, John P., Luider, Theo M., Dekker, Lennard J.

Journal:

International Journal of Antimicrobial Agents

Année:

2016

Langue:

english

Fichier:

PDF, 543 KB

english, 2016

24

Evaluation of different pretreatment protocols to detect accurately clinical carbapenemase-producing Enterobacteriaceae by MALDI-TOF

Monteferrante, Carmine G., Sultan, Sadaf, ten Kate, Marian T., Dekker, Lennard J. M., Sparbier, Katrin, Peer, Markus, Kostzrewa, Markus, Luider, Theo M., Goessens, Wil H. F., Burgers, Peter C.

Journal:

Journal of Antimicrobial Chemotherapy

Année:

2016

Langue:

english

Fichier:

PDF, 587 KB

english, 2016

25

Ein Karfreitagsrätselkanon aus Adam Gumpelzhaimers „Compendium musicae“ (1632)

Journal:

Die Musikforschung

Année:

1974

Fichier:

PDF, 1.28 MB

1974

26

Lambda Calculus with Types || Our Founders

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 243 KB

english, 2013

27

Lambda Calculus with Types || Definability, unification and matching

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 598 KB

english, 2013

28

Lambda Calculus with Types || Tools

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 954 KB

english, 2013

29

Lambda Calculus with Types || Preface

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 67 KB

english, 2013

30

Lambda Calculus with Types || Extensions

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 822 KB

english, 2013

31

Lambda Calculus with Types || Applications

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 581 KB

english, 2013

32

Lambda Calculus with Types || Properties

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 503 KB

english, 2013

33

Lambda Calculus with Types || The Simply Typed Lambda Calculus

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 568 KB

english, 2013

34

Lambda Calculus with Types || Simple Types λA→

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 257 KB

english, 2013

35

Lambda Calculus with Types || An Example System

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 256 KB

english, 2013

36

Lambda Calculus with Types || The Systems λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 785 KB

english, 2013

37

Lambda Calculus with Types || References

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 275 KB

english, 2013

38

Lambda Calculus with Types || Recursive Types λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 137 KB

english, 2013

39

Lambda Calculus with Types || Advanced Properties and Applications

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 722 KB

english, 2013

40

Lambda Calculus with Types || Type Assignment Systems

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 392 KB

english, 2013

41

Lambda Calculus with Types || Models

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 495 KB

english, 2013

42

Lambda Calculus with Types || Properties of Recursive Types

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 519 KB

english, 2013

43

Lambda Calculus with Types || Indices

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 41 KB

english, 2013

44

Lambda Calculus with Types || Properties of Terms with Types λA=

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 401 KB

english, 2013

45

Lambda Calculus with Types || Filter Models

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 574 KB

english, 2013

46

Lambda Calculus with Types || Type and Lambda Structures

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 515 KB

english, 2013

47

Lambda Calculus with Types || Applications

Barendregt, Henk, Dekkers, Wil, Statman, Richard

Année:

2013

Langue:

english

Fichier:

PDF, 361 KB

english, 2013

48

Accurate Detection of the Four Most Prevalent Carbapenemases in E. coli and K. pneumoniae by High-Resolution Mass Spectrometry

Foudraine, Dimard E., Dekker, Lennard J. M., Strepis, Nikolaos, Bexkens, Michiel L., Klaassen, Corné H. W., Luider, Theo M., Goessens, Wil H. F.

Journal:

Frontiers in Microbiology

Année:

2019

Fichier:

PDF, 1.10 MB

2019